- axiomatization process
- процесс аксиоматизации
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
axiomatization — (Amer.) n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also axiomatisation) … English contemporary dictionary
axiomatization — noun Date: 1931 the act or process of reducing to a system of axioms • axiomatize transitive verb … New Collegiate Dictionary
axiomatization — noun a) The act of making axiomatic. b) The act or process of establishing a concept within a system of axioms. See Also: axiom, axiomatic, axiomatize … Wiktionary
axiomatization — ˌaksēˌäməd.ə̇ˈzāshən, məˌtīˈz noun ( s) : the act or process of axiomatizing compare formalization … Useful english dictionary
Stochastic process — A stochastic process, or sometimes random process, is the counterpart to a deterministic process (or deterministic system) in probability theory. Instead of dealing with only one possible reality of how the process might evolve under time (as is… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a … Wikipedia
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
Charles Sanders Peirce — B … Wikipedia